2021. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
2022. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
2023. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
2024. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
2025. Toposes and local set theories: an introduction
پدیدآورنده : / J.L.Bell
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Toposes,Set theory,Logic,symbolic and mathematical
رده :
512
.
55
B433t
2026. Toward "Principia mathematica", 1905-08 /
پدیدآورنده : Bertrand Russell ; edited by Gregory H. Moore.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
2027. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
2028. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
2029. Towards an arithmetical logic :
پدیدآورنده : Yvon Gauthier
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
2030. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
2031. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
2032. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
2033. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
2034. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
2035. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
2036. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
2037. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
2038. Tracking reason: proof, consequence, and truth
پدیدآورنده : Azzouni, Jody.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
2039. Tracking reason : proof, consequence, and truth
پدیدآورنده : Azzouni, Jody, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
2040. Tractarian semantics :
پدیدآورنده : Peter Carruthers
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus,Language and languages-- Philosophy,Logic, Symbolic and mathematical
رده :
B3376
.
W563
T73226
1989
